Boolean expression simplification